Enciclopedia Universal. 2012.
Diagonalización de Cantor — Este artículo o sección necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 22 de octubre de 2011. También puedes ayudar wikificando… … Wikipedia Español
Metamatemática — La metamatemática es el estudio matemático de los fundamentos de las matemáticas. Contenido 1 Contexto histórico del concepto 1.1 La paradoja de Richard 1.2 La demostración de Zermelo … Wikipedia Español
Recursión primitiva — Saltar a navegación, búsqueda En Teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad. Se definen usando como principales… … Wikipedia Español
Número computable — En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al… … Wikipedia Español
